-
1 проблема эквивалентности
Большой англо-русский и русско-английский словарь > проблема эквивалентности
-
2 word problem
Большой англо-русский и русско-английский словарь > word problem
-
3 word problem
-
4 equivalence problem
-
5 word problem
проблема эквивалентностиEnglish-Russian dictionary of technical terms > word problem
-
6 word problem
-
7 word problem
проблема, заключающаяся в том, чтобы определить, являются ли эквивалентными две последовательности операцийсм. тж. problemАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > word problem
-
8 problem of form equivalence
English-Russian scientific dictionary > problem of form equivalence
-
9 word problem
1) Общая лексика: арифметическая задача в учебнике (a type of textbook problem designed to help students apply abstract mathematical concepts to "real-world" situations) -
10 equivalence problem
Большой англо-русский и русско-английский словарь > equivalence problem
-
11 equivalence problem
Математика: проблема эквивалентности -
12 problem of form equivalence
Математика: проблема эквивалентности формУниверсальный англо-русский словарь > problem of form equivalence
-
13 this equivalence problem is a restriction version of the
Математика: проблема эквивалентности (...)Универсальный англо-русский словарь > this equivalence problem is a restriction version of the
-
14 equivalence problem
См. также в других словарях:
АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… … Математическая энциклопедия
КВАДРАТИЧНАЯ ФОРМА — над коммутативным люльцом с единицей однородный многочлен от n=n(q)переменных с коэффициентами Обычно R это поле С, R или Q, либо кольцо Z, кольцо целых элементов алгебраич. числового поля, а также их пополнения по неархимедовым нормам.… … Математическая энциклопедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
БИНАРНАЯ ДВАДРАТИЧНАЯ ФОРМА — квадратичная форма отдвух переменных, т. е. форма вида если целые числа, Б. к. ф. наз. целочисленной. Выражение наз. определителем, или дискриминантом, Б. к. ф. Иногда под дискриминантом понимается также величина Арифметич. теория Б. к. ф. начата … Математическая энциклопедия
Вычислимая функция — Вычислимые функции это множество функций вида, которые могут быть реализованы на машине Тьюринга. Задачу вычисления функции называют алгоритмически разрешимой или алгоритмически неразрешимой, в зависимости от того, возможно ли написать… … Википедия
алгоритмическая неразрешимость — АЛГОРИТМИЧЕСКАЯ НЕРАЗРЕШИМОСТЬ важнейшее свойство некоторых классов корректно поставленных задач, допускающих применение алгоритмов. Оно состит в том, что задачи каждого из этих классов в принципе не имеют какого либо общего,… … Энциклопедия эпистемологии и философии науки
ДИФФЕРЕНЦИАЛЬНАЯ ГЕОМЕТРИЯ МНОГООБРАЗИЙ — раздел дифференциальной геометрии, изучающий различные инфинитезималъные структуры на многообразии и их связи со структурой многообразия и его топологией. К середине 19 в. в результате возникновения неевклидовой геометрии Лобачевского,… … Математическая энциклопедия
Дофамин — Дофамин … Википедия
Общая теория относительности — Альберт Эйнштейн (автор общей теории относительности), 1921 год … Википедия
ОТО — Альберт Эйнштейн автор общей теории относительности (1921 год) Общая теория относительности … Википедия
ЭКВИВАЛЕНТНЫЕ ПРЕОБРАЗОВАНИЯ — управ ляющих систем преобразования, сохраняющие отношение эквивалентности (о. э.) управляющих систем (у. с.). Используются в задачах оптимизации, контроля, а также как средство характеризации (напр., аксиоматизации) определенных классов у. с.;… … Математическая энциклопедия
